701. Topics in the theory of computation :
پدیدآورنده : edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity-- Congresses,Computer science-- Mathematics-- Congresses,Machine theory-- Congresses
رده :
QA267
.
I56
1983
702. Topics in the theory of computation
پدیدآورنده : / edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
رده :
QA267
،.
I56
1983
703. Topics in theoretical computer science :
پدیدآورنده : Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
704. Topological quantum computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Complex manifolds,Congresses ، Quantum theory,Congresses ، Quantum computer
رده :
QA
613
.
2
.
N74
2008
705. Transactions on Engineering Technologies :
پدیدآورنده : Sio-Iong Ao, Haeng Kon Kim, Mahyar A. Amouzegar, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering, Congresses.,Engineering.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA5
.
W67
2017
706. Transactions on Petri Nets and Other Models of Concurrency X
پدیدآورنده : \ Maciej Koutny, Jörg Desel, Serge Haddad (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Petri nets -- Congresses.,Computer science -- Mathematics -- Congresses.,Computer science.,شبکههای پتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها ,علوم کامپیوتر
رده :
QA267
.
T71
2015
E-Book
,
707. Transactions on computational science XXXII :
پدیدآورنده : edited by Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Biometric identification-- Security measures, Congresses.,Computer security, Congresses.,Artificial intelligence.,Computer science.,Image processing.
رده :
QA76
.
9
.
A25
708. Transactions on engineering technologies :
پدیدآورنده : Haeng Kon Kim, Mahyar A. Amouzegar, Sio-long Ao, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses,Engineering, Congresses,Technological innovations, Congresses,Technology, Congresses
رده :
TA5
709. Transactions on engineering technologies :
پدیدآورنده : Sio-Iong Ao, Len Gelman, Haeng Kon Kim, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering, Congresses.,Artificial intelligence.,Automatic control engineering.,Data mining.,Engineering.,Life sciences: general issues.,Robotics.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA5
710. Transactions on petri nets and other models of concurrency VII
پدیدآورنده : Kurt Jensen [and others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Petri nets -- Congresses.,Software.
رده :
QA267
.
K878
2013
711. Trends and Perspectives in Modern Computational Science.
پدیدآورنده : George Maroulis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
712. Unconventional models of computation, UMC'2K :
پدیدآورنده : I. Antoniou, C.S. Calude and M.J. Dinneen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Soft computing -- Congresses.
رده :
QA76
.
9
.
S63
I268
2001
713. Understanding and interpreting machine learning in medical image computing applications :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
رده :
RC78
.
7
.
D53
I58
2018
714. Unusual applications of number theory: DIMACS workshop, unusual applications of number theory, January 10-14, 2000, DIMACS Center
پدیدآورنده : Melvyn B. Nathanson, editor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Number theory
رده :
QA
241
.
D56
2000
715. Unusual applications of number theory : DIMACS workshop, unusual applications of number theory, January 10-14, 2000, DIMACS Center
پدیدآورنده : Melvyn B. Nathanson, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Number theory
رده :
QA
241
.
D558
2000
716. User-centered interaction paradigms for universal access in the information society : 8th ERCIM Workshop on User Interfaces for All, Vienna, Austria, June 28-29, 2004 : revised selected papers
پدیدآورنده : Christian Stary, Constantine Stephanidis )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، User interfaces )Computer systems(,Congresses ، Human-computer interaction
رده :
QA
76
.
L28
Vol
.
3196
717. VR, simulations and serious games for education /
پدیدآورنده : editors: Yiyu Cai, Wouter van Joolingen and Zachary Walker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer games, Congresses.,Educational games.,Virtual reality in education-- Research, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer games.,EDUCATION-- Administration-- General.,EDUCATION-- Organizations & Institutions.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,User interface design & usability.
رده :
LB1044
.
87
718. Variational, geometric, and level set methods in computer vision : third International Workshop, VLSM 2005, Beijing, China, October 16, 2005 : proceedings
پدیدآورنده : Nikos Paragios...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics -- Congresses ، Computer vision,Methodology -- Congresses ، Computer vision,Congresses ، Image processing -- Digital techniques
رده :
QA
76
.
L28
Vol
.
3752
719. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
720. Vision algorithms : theory and practice : International Workshop on Vision Algorithms, Corfu, Greece, September 21-22, 1999 : proceedings
پدیدآورنده : Bill Triggs, Andrew Zisserman, Richard Szeliski )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics --Congresses ، Computer vision,Mathematics -- Congresses ، Image processing
رده :
QA
76
.
L28
Vol
.
1883
